home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.text.html;
-
- import java.io.IOException;
- import java.io.ObjectInputStream;
- import java.io.ObjectOutputStream;
- import javax.swing.text.html.CSS.Value;
-
- class CSS$BorderStyle extends CSS.CssValue {
- private transient CSS.Value style;
-
- CSS.Value getValue() {
- return this.style;
- }
-
- Object parseCssValue(String var1) {
- CSS.Value var2 = CSS.getValue(var1);
- if (var2 == null || var2 != Value.INSET && var2 != Value.OUTSET && var2 != Value.NONE && var2 != Value.DOTTED && var2 != Value.DASHED && var2 != Value.SOLID && var2 != Value.DOUBLE && var2 != Value.GROOVE && var2 != Value.RIDGE) {
- return null;
- } else {
- CSS$BorderStyle var3 = new CSS$BorderStyle();
- var3.svalue = var1;
- var3.style = var2;
- return var3;
- }
- }
-
- private void readObject(ObjectInputStream var1) throws ClassNotFoundException, IOException {
- var1.defaultReadObject();
- Object var2 = var1.readObject();
- if (var2 != null) {
- this.style = CSS.getValue((String)var2);
- }
-
- }
-
- private void writeObject(ObjectOutputStream var1) throws IOException {
- var1.defaultWriteObject();
- if (this.style == null) {
- var1.writeObject((Object)null);
- } else {
- var1.writeObject(this.style.toString());
- }
-
- }
- }
-